Skip to content

C#: Extract unique locations.#20509

Closed
michaelnebel wants to merge 8 commits intogithub:mainfrom
michaelnebel:csharp/uniquelocations1
Closed

C#: Extract unique locations.#20509
michaelnebel wants to merge 8 commits intogithub:mainfrom
michaelnebel:csharp/uniquelocations1

Conversation

@michaelnebel
Copy link
Contributor

To prepare for converting the extraction of locations to use * IDs we need to make the location extraction unique. That is, we shouldn't rely on the trap importer to do tuple de-duplication.

@github-actions github-actions bot added the C# label Sep 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant